Random Theorem, Episode 7: König's Theorem